1. Diagonalization and self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
2. Diagonalization and self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
3. Diagonalization and self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
4. Diagonalization and self-reference
پدیدآورنده: Raymond M. Smullyan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
5. Diagonalization & self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
6. First-order logic
پدیدآورنده: / [by] Raymond M. Smullyan
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
S75
7. First-order logic
پدیدآورنده: Raymond M. Smullyan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، First-order logic
رده :
QA
9
.
S574
8. First-order logic
پدیدآورنده : Smullyan, Raymond M.
موضوع : ، First-order logic
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
9. Godel's incompleteness theorems
پدیدآورنده: / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
10. Godel's incompleteness theorems
پدیدآورنده: Raymond M. Smullyan
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Godel's theorem
11. Godel's incompleteness theorems
پدیدآورنده: / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
12. Godel's incompleteness theorems
پدیدآورنده: / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
13. Godel's incompleteness theorems
پدیدآورنده: Raymond M. Smullyan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
14. Les theoremes d'incompletude de Godel
پدیدآورنده: Raymond M. Smullyan; traduit de l'americain par Maurice Margenstern
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
15. Recursion theory for metamathematics
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
16. Satan, Cantor, and infinity, and other mind-boggling puzzles
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S6S2
17. Satan, Cantor, and infinity : and other mind-boggling puzzles
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S5
1992
18. Set theory and the continuum problem
پدیدآورنده: Raymond M. Smullyan and Melvin Fitting
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Continuum hypothesis
رده :
QA
248
.
S6
19. Theory of formal systems
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
20. This book needs no title :
پدیدآورنده: by Raymond M. Smullyan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Paradoxes,Philosophical recreations
رده :
PN6361
.
S6
